Minor merge from gnulib (mostly just for texinfo.tex).
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 26 Aug 2013 22:17:31 +0000 (15:17 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 26 Aug 2013 22:17:31 +0000 (15:17 -0700)
commitc81214074a0938502ebaef5818876da0bada4bfe
tree5eb783c55af66f66da469ac1a5ad7d7f353be511
parentec6b043499cc7413750c251454409f1cb38c8df5
Minor merge from gnulib (mostly just for texinfo.tex).
ChangeLog
doc/misc/texinfo.tex
m4/sha256.m4
m4/sha512.m4